/* Fichier compilé vers C */
{
return  ILP_print ( ILP_Minus( ILP_Float2ILP(2.5) ,  ILP_Integer2ILP(1) ) );
}
